<html>
<head><meta charset="utf-8"><title>meeting 2019.06.25 · t-compiler/wg-polonius · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/index.html">t-compiler/wg-polonius</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html">meeting 2019.06.25</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="168966730"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168966730" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168966730">(Jun 25 2019 at 19:00)</a>:</h4>
<p>hello friends from <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> (and <span class="user-mention" data-user-id="226268">@Robert Jacobson</span>) <span aria-label="wave" class="emoji emoji-1f44b" role="img" title="wave">:wave:</span></p>



<a name="168966774"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168966774" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168966774">(Jun 25 2019 at 19:00)</a>:</h4>
<p>hopefully everyone is doing good :)</p>



<a name="168966798"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168966798" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168966798">(Jun 25 2019 at 19:01)</a>:</h4>
<p>as usual our <a href="https://paper.dropbox.com/doc/Polonius-Roadmap--AY6C806s~AZK~e7wagmys2_wAg-hk3a9ynduUN2gk1A0NNTF" target="_blank" title="https://paper.dropbox.com/doc/Polonius-Roadmap--AY6C806s~AZK~e7wagmys2_wAg-hk3a9ynduUN2gk1A0NNTF">paper roadmap is here</a></p>



<a name="168966804"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168966804" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Robert Jacobson <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168966804">(Jun 25 2019 at 19:01)</a>:</h4>
<p>(I don't mind being a friend. <span aria-label="slight smile" class="emoji emoji-1f642" role="img" title="slight smile">:slight_smile:</span>  )</p>



<a name="168966820"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168966820" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168966820">(Jun 25 2019 at 19:01)</a>:</h4>
<p><span class="user-mention" data-user-id="226268">@Robert Jacobson</span> welcome !</p>



<a name="168966886"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168966886" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168966886">(Jun 25 2019 at 19:02)</a>:</h4>
<p>last week's "meeting" was mostly updates, and I've finally written up the notes from the meeting before that</p>



<a name="168966949"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168966949" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168966949">(Jun 25 2019 at 19:03)</a>:</h4>
<p>I see Albin and Niko have been discussing the liveness rustc PR step we mentioned last time</p>



<a name="168966982"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168966982" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168966982">(Jun 25 2019 at 19:03)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> how do you feel about it btw ?</p>



<a name="168967076"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967076" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967076">(Jun 25 2019 at 19:04)</a>:</h4>
<p>Well, in summary I have tried to generate input for each point in the CFG that "this variable is initialised here" and use that for liveness calculations, but in some edge cases it doesn't see variables as initialized when they are and Niko is helping me debug it. So, err, I feel fine about it right now</p>



<a name="168967089"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967089" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967089">(Jun 25 2019 at 19:04)</a>:</h4>
<p>The idea is to eventually have Polonius calculate this, but this is a stepping stone</p>



<a name="168967099"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967099" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967099">(Jun 25 2019 at 19:04)</a>:</h4>
<p><span class="user-mention" data-user-id="226268">@Robert Jacobson</span> if you want to be added to the <span class="user-group-mention" data-user-group-id="1184">@WG-polonius</span> user group so you get pings in the future, that's easy enough. =)</p>



<a name="168967122"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967122" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967122">(Jun 25 2019 at 19:05)</a>:</h4>
<p>(I'm not sure how much anyone remembers)</p>



<a name="168967128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967128">(Jun 25 2019 at 19:05)</a>:</h4>
<p>(or liveness in general for that matter, or would you want us to look into some other steps in parallel — I mostly want to make sure you're not annoyed with liveness <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> :)</p>



<a name="168967154"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967154" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Robert Jacobson <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967154">(Jun 25 2019 at 19:05)</a>:</h4>
<p>Sure, that'd be cool. Do I add myself, or does someone graciously add me?</p>



<a name="168967169"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967169" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967169">(Jun 25 2019 at 19:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> Oh I'm keeping myself busy!</p>



<a name="168967192"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967192" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967192">(Jun 25 2019 at 19:06)</a>:</h4>
<p>Specifically, I'm reading up on type theory (in fact, most of it, since my semantics course didn't cover that at all)</p>



<a name="168967261"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967261" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967261">(Jun 25 2019 at 19:06)</a>:</h4>
<blockquote>
<p>Sure, that'd be cool. Do I add myself, or does someone graciously add me?</p>
</blockquote>
<p>I added you, though I think in theory you can add yourself</p>



<a name="168967279"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967279" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967279">(Jun 25 2019 at 19:06)</a>:</h4>
<p>glad to hear it, so it seems you and niko are on top of this, as usual</p>



<a name="168967286"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967286" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967286">(Jun 25 2019 at 19:06)</a>:</h4>
<p>I think a good question is whether we can spin up a new task for <span class="user-mention" data-user-id="226268">@Robert Jacobson</span> -- at the moment I'm not 100% sure what that would be though</p>



<a name="168967288"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967288" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967288">(Jun 25 2019 at 19:06)</a>:</h4>
<p>My goal is to have some sort of smooth transition from <span class="user-mention" data-user-id="127262">@Aaron Weiss</span>' type system (the parts touching on Polonius) to the actual Polonius datalog code</p>



<a name="168967309"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967309" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967309">(Jun 25 2019 at 19:07)</a>:</h4>
<p>(it seems like there's plenty of parallelizable work ahead, but we're not <em>quite</em> there)</p>



<a name="168967319"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967319" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967319">(Jun 25 2019 at 19:07)</a>:</h4>
<p>true <span aria-label="thinking" class="emoji emoji-1f914" role="img" title="thinking">:thinking:</span></p>



<a name="168967361"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967361" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967361">(Jun 25 2019 at 19:07)</a>:</h4>
<p>maybe similarly to Albin (when starting up) reading up the blog posts, or the youtube videos, and the likes ?</p>



<a name="168967475"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967475" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967475">(Jun 25 2019 at 19:08)</a>:</h4>
<p>it seems <span class="user-mention" data-user-id="218716">@lokalmatador</span> is handling profiling and data collection, probably not much there to help with</p>



<a name="168967484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967484">(Jun 25 2019 at 19:09)</a>:</h4>
<p>hi! sorry for being late...</p>



<a name="168967496"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967496" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967496">(Jun 25 2019 at 19:09)</a>:</h4>
<p>(no worries :)</p>



<a name="168967520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967520">(Jun 25 2019 at 19:09)</a>:</h4>
<p>If we are still on the "what's up" phase, I have been working on benchmarking. Specifically, I repurposed my Github scraper to catch slightly over 17 000 Git repositories that actually compile under Rust nightly with no system dependencies</p>



<a name="168967528"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967528" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967528">(Jun 25 2019 at 19:09)</a>:</h4>
<p>And I have been using that to gather facts and Polonius' runtime on those facts</p>



<a name="168967550"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967550" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967550">(Jun 25 2019 at 19:09)</a>:</h4>
<blockquote>
<p>it seems <span class="user-mention silent" data-user-id="218716">lokalmatador</span> is handling profiling and data collection, probably not much there to help with</p>
</blockquote>
<p>yup - for now I'm fine</p>



<a name="168967641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967641">(Jun 25 2019 at 19:10)</a>:</h4>
<p><span class="user-mention" data-user-id="226268">@Robert Jacobson</span> if you're not familiar with the blogposts or the YT links, I can provide them later if you want</p>



<a name="168967673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967673">(Jun 25 2019 at 19:11)</a>:</h4>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> yeah I figured, how have things been going for you and profiling ?</p>



<a name="168967692"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967692" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967692">(Jun 25 2019 at 19:11)</a>:</h4>
<blockquote>
<p>And I have been using that to gather facts and Polonius' runtime on those facts</p>
</blockquote>
<p>hm, thinking about it for a little - maybe I have a look into that setup asap and also run the instrumented compiler in it?</p>



<a name="168967693"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967693" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967693">(Jun 25 2019 at 19:11)</a>:</h4>
<p>I saw you maybe wanted to talk about Albin's 17K git repos ?</p>



<a name="168967711"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967711" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967711">(Jun 25 2019 at 19:11)</a>:</h4>
<p>So far I only have <a href="/user_uploads/4715/oTNiBVuqwEbzVEomRomwI0jJ/pasted_image.png" target="_blank" title="pasted_image.png">the input size vs runtime correlation matrix from perhaps 30 000 crates or so</a></p>
<div class="message_inline_image"><a href="/user_uploads/4715/oTNiBVuqwEbzVEomRomwI0jJ/pasted_image.png" target="_blank" title="the input size vs runtime correlation matrix from perhaps 30 000 crates or so"><img src="/user_uploads/4715/oTNiBVuqwEbzVEomRomwI0jJ/pasted_image.png"></a></div>



<a name="168967717"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967717" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Robert Jacobson <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967717">(Jun 25 2019 at 19:11)</a>:</h4>
<p>I have them, thanks!</p>



<a name="168967734"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967734" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967734">(Jun 25 2019 at 19:12)</a>:</h4>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> It's just a bunch of Python scripts so far, but sure!</p>



<a name="168967790"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967790" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967790">(Jun 25 2019 at 19:12)</a>:</h4>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> were you able to try gathering data on the rustc-perf benchmarks btw ?</p>



<a name="168967794"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967794" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967794">(Jun 25 2019 at 19:12)</a>:</h4>
<p>is it on github?</p>



<a name="168967810"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967810" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967810">(Jun 25 2019 at 19:12)</a>:</h4>
<p>Not yet, but I can prepare it and push it</p>



<a name="168967817"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967817" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Robert Jacobson <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967817">(Jun 25 2019 at 19:12)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> That's awesome.</p>



<a name="168967835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967835">(Jun 25 2019 at 19:12)</a>:</h4>
<p>Oh and I found a pathological input</p>



<a name="168967850"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967850" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967850">(Jun 25 2019 at 19:13)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="218716">lokalmatador</span> were you able to try gathering data on the rustc-perf benchmarks btw ?</p>
</blockquote>
<p>not for now, right now I'm just running them as explained in the readme to see which ones work and which not</p>



<a name="168967879"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967879" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967879">(Jun 25 2019 at 19:13)</a>:</h4>
<p><span class="user-mention" data-user-id="204115">@Albin Stjerna</span> you've built a <code>polonius-crater</code> it seems :)</p>



<a name="168967896"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967896" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967896">(Jun 25 2019 at 19:13)</a>:</h4>
<p>This <a href="https://gitlab.com/starshell/passport/qwerty/blob/master/src/diceware/eff_wordlist.rs" target="_blank" title="https://gitlab.com/starshell/passport/qwerty/blob/master/src/diceware/eff_wordlist.rs">large static array generates 11 GB of input</a></p>



<a name="168967917"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967917" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967917">(Jun 25 2019 at 19:14)</a>:</h4>
<p><span class="user-mention" data-user-id="116113">@lqd</span> I tried to use crater but I spent a day or two trying to understand it and then gave up :)</p>



<a name="168967984"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967984" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967984">(Jun 25 2019 at 19:14)</a>:</h4>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> cool, keep us posted on that if you can, it would be very interesting to know which of those work and which do not, it's been a while since santiago did that</p>



<a name="168967987"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967987" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967987">(Jun 25 2019 at 19:14)</a>:</h4>
<blockquote>
<p>This <a href="https://gitlab.com/starshell/passport/qwerty/blob/master/src/diceware/eff_wordlist.rs" target="_blank" title="https://gitlab.com/starshell/passport/qwerty/blob/master/src/diceware/eff_wordlist.rs">large static array generates 11 GB of input</a></p>
</blockquote>
<p>yeah we have some special cases for this</p>



<a name="168967995"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168967995" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168967995">(Jun 25 2019 at 19:14)</a>:</h4>
<p>in the existing NLL code</p>



<a name="168968000"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968000" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968000">(Jun 25 2019 at 19:14)</a>:</h4>
<p>i.e., targeting large static constants</p>



<a name="168968012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968012">(Jun 25 2019 at 19:14)</a>:</h4>
<p>at some point we'll have to do something similar for polonius</p>



<a name="168968019"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968019" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968019">(Jun 25 2019 at 19:14)</a>:</h4>
<p>ah yes, good memories of huge static arrays</p>



<a name="168968092"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968092" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968092">(Jun 25 2019 at 19:15)</a>:</h4>
<blockquote>
<p><span class="user-mention silent" data-user-id="218716">lokalmatador</span> cool, keep us posted on that if you can, it would be very interesting to know which of those work and which do not, it's been a while since santiago did that</p>
</blockquote>
<p>well, they just finished and script-servo failed</p>



<a name="168968096"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968096" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968096">(Jun 25 2019 at 19:15)</a>:</h4>
<p>I myself have mostly been looking at the rustc results, dealt with the smaller cases (but will need some new set of eyes in time ofc)</p>



<a name="168968148"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968148" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968148">(Jun 25 2019 at 19:16)</a>:</h4>
<p>and been looking more, and exploring the cases with loops, which fail with polonius</p>



<a name="168968162"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968162" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Robert Jacobson <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968162">(Jun 25 2019 at 19:16)</a>:</h4>
<p>Possibly related? <a href="https://github.com/rust-lang/rust/issues/55795" target="_blank" title="https://github.com/rust-lang/rust/issues/55795">https://github.com/rust-lang/rust/issues/55795</a></p>



<a name="168968179"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968179" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968179">(Jun 25 2019 at 19:16)</a>:</h4>
<p>Matthew has another PR with MIR cleanup/fixes around loops, so maybe it'll change those results, I'll rerun them as soon as the PR lands</p>



<a name="168968218"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968218" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968218">(Jun 25 2019 at 19:17)</a>:</h4>
<p>(and I might have to pick your brain <span class="user-mention" data-user-id="116118">@Matthew Jasper</span> on these specific failing tests if that's ok, whenever)</p>



<a name="168968223"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968223" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968223">(Jun 25 2019 at 19:17)</a>:</h4>
<p><span class="user-mention" data-user-id="218716">@lokalmatador</span> Real-time follow-up: here's the repository: <a href="https://github.com/albins/msc-polonius-fact-study" target="_blank" title="https://github.com/albins/msc-polonius-fact-study">https://github.com/albins/msc-polonius-fact-study</a></p>



<a name="168968333"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968333" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968333">(Jun 25 2019 at 19:18)</a>:</h4>
<p>It's incredibly me-centric right now (which is why I didn't put it out there), and some of the scripts are weird</p>



<a name="168968334"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968334" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968334">(Jun 25 2019 at 19:18)</a>:</h4>
<p>I hope to continue on this task this week, hopefully make more progress than before</p>



<a name="168968371"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968371" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968371">(Jun 25 2019 at 19:19)</a>:</h4>
<p>otherwise, Albin you're leaving wednesday right ?</p>



<a name="168968498"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968498" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968498">(Jun 25 2019 at 19:20)</a>:</h4>
<p>all in all it seems the plan this week looks like:<br>
- me: rustc test suite, hopefully with Matthew's help we'll make some progress<br>
- Niko and Albin: hash out the <code>region_live_at</code> rustc PR questions<br>
- lokalmatador: running some of the rustc-perf benchmarks to see which fail and which do not fail, + maybe gather data as well</p>



<a name="168968586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968586">(Jun 25 2019 at 19:21)</a>:</h4>
<blockquote>
<p>otherwise, Albin you're leaving wednesday right ?</p>
</blockquote>
<p>remind me, for how long etc? :)</p>



<a name="168968673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968673">(Jun 25 2019 at 19:22)</a>:</h4>
<p>and last but not least, <span class="user-mention" data-user-id="226268">@Robert Jacobson</span> at least you now have links and videos if you're interested in checking those out (feel free to ping us if you have questions btw)</p>



<a name="168968733"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968733" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968733">(Jun 25 2019 at 19:23)</a>:</h4>
<p>sounds like a plan to me! <span aria-label="heart" class="emoji emoji-2764" role="img" title="heart">:heart:</span> <span class="user-mention" data-user-id="116113">@lqd</span></p>



<a name="168968735"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968735" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968735">(Jun 25 2019 at 19:23)</a>:</h4>
<p>(I could be mistaken about <span class="user-mention" data-user-id="204115">@Albin Stjerna</span> leaving for a bit, but it does ring a bell)</p>



<a name="168968740"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968740" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Robert Jacobson <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968740">(Jun 25 2019 at 19:23)</a>:</h4>
<p>Thank you. I've been studying Niko's blog posts especially. Accidentally used him as a rubber duck, but fortunately he was too busy to notice. :)</p>



<a name="168968801"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968801" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968801">(Jun 25 2019 at 19:24)</a>:</h4>
<blockquote>
<p>otherwise, Albin you're leaving wednesday right ?</p>
</blockquote>
<p>Yes! Or rather, my girlfriend comes home from Australia and we both leave on a brief vacation until Sunday, inclusive)</p>



<a name="168968859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968859">(Jun 25 2019 at 19:25)</a>:</h4>
<blockquote>
<p>Thank you. I've been studying Niko's blog posts especially. Accidentally used him as a rubber duck, but fortunately he was too busy to notice. :)</p>
</blockquote>
<p>I have done this more than once already, so I think this is all very normal</p>



<a name="168968912"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968912" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968912">(Jun 25 2019 at 19:25)</a>:</h4>
<p>nice, enjoy the vacation Albin :) — maybe your girlfriend also enjoys datalog and can join us all here, it's fun ;)</p>



<a name="168968978"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968978" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968978">(Jun 25 2019 at 19:26)</a>:</h4>
<p>Well one of her sisters is literally a Prolog implementation so it's not that bad of an idea</p>



<a name="168968997"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168968997" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168968997">(Jun 25 2019 at 19:26)</a>:</h4>
<p>that's uncanny :)</p>



<a name="168969012"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168969012" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168969012">(Jun 25 2019 at 19:26)</a>:</h4>
<p>What's even more uncanny is that I refused to use the same Prolog implementation about ten years ago because it was proprietary</p>



<a name="168969031"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168969031" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168969031">(Jun 25 2019 at 19:27)</a>:</h4>
<p>and with 4 minutes to spare, everyone, have a good evening/good afternoon, thanks a lot for your time :) (4 minutes gained in Niko's busy schedule ;)</p>



<a name="168969102"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168969102" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Amanda Stjerna <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168969102">(Jun 25 2019 at 19:28)</a>:</h4>
<p>Good job everyone</p>



<a name="168969215"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168969215" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lokalmatador <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168969215">(Jun 25 2019 at 19:29)</a>:</h4>
<p>bye</p>



<a name="168969365"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168969365" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Robert Jacobson <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168969365">(Jun 25 2019 at 19:31)</a>:</h4>
<p><span aria-label="clap" class="emoji emoji-1f44f" role="img" title="clap">:clap:</span></p>



<a name="168969398"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/186049-t-compiler/wg-polonius/topic/meeting%202019.06.25/near/168969398" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> lqd <a href="https://rust-lang.github.io/zulip_archive/stream/186049-t-compiler/wg-polonius/topic/meeting.202019.2E06.2E25.html#168969398">(Jun 25 2019 at 19:31)</a>:</h4>
<p>(and for once, I <em>will</em> write up the meeting notes earlier than the usual :)</p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>